php script to delete file names not matching a dynamic text file